Supercritical Water Mixture (SCWM) Experiment in the High Temperature Insert-Reflight (HTI-R)

Current research on supercritical water processes on board the International Space Station (ISS) focuses on salt precipitation and transport in a test cell designed for supercritical water. This study, known as the Supercritical Water Mixture Experiment (SCWM) serves as a precursor experiment for developing a better understanding of inorganic salt precipitation and transport during supercritical water oxidation (SCWO) processes for the eventual application of this technology for waste management and resource reclamation in microgravity conditions. During typical SCWO reactions any inorganic salts present in the reactant stream will precipitate and begin to coat reactor surfaces and control mechanisms (e.g., valves) often severely impacting the systems performance. The SCWM experiment employs a Sample Cell Unit (SCU) filled with an aqueous solution of Na2SO4 0.5-w at the critical density and uses a refurbished High Temperature Insert, which was used in an earlier ISS experiment designed to study pure water at near-critical conditions. The insert, designated as the HTI-Reflight (HTI-R) will be deployed in the DECLIC (Device for the Study of Critical Liquids and Crystallization) Facility on the International Space Station (ISS). Objectives of the study include measurement of the shift in critical temperature due to the presence of the inorganic salt, assessment of the predominant mode of precipitation (i.e., heterogeneously on SCU surfaces or homogeneously in the bulk fluid), determination of the salt morphology including size and shapes of particulate clusters, and the determination of the dominant mode of transport of salt particles in the presence of an imposed temperature gradient. Initial results from the ISS experiments will be presented and compared to findings from laboratory experiments on the ground

A Framework for Decision-based Consistencies

International audienceConsistencies are properties of constraint networks that can be enforced by appropriate algorithms to reduce the size of the search space to be explored. Recently, many consistencies built upon taking decisions (most often, variable assignments) and stronger than (general- ized) arc consistency have been introduced. In this paper, our ambition is to present a clear picture of decision-based consistencies. We identify four general classes (or levels) of decision-based consistencies, denoted by S∆φ, E∆φ, B∆φ and D∆φ, study their relationships, and show that known consistencies are particular cases of these classes. Interestingly, this gen- eral framework provides us with a better insight into decision-based con- sistencies, and allows us to derive many new consistencies that can be directly integrated and compared with other ones

On the Semi-centre of a Poisson Algebra

If g is a Lie algebra then the semi-centre of the Poisson algebra S(g) is the subalgebra generated by ad(g) -eigenvectors. In this paper we abstract this definition to the context of integral Poisson algebras. We identify necessary and sufficient conditions for the Poisson semi-centre Asc to be a Poisson algebra graded by its weight spaces. In that situation we show the Poisson semi-centre exhibits many nice properties: the rational Casimirs are quotients of Poisson normal elements and the Poisson Dixmier–Mœglin equivalence holds for Asc

Global Inverse Consistency for Interactive Constraint Satisfaction

International audienceSome applications require the interactive resolution of a constraint problem by a human user. In such cases, it is highly desirable that the person who interactively solves the problem is not given the choice to select values that do not lead to solutions. We call this property global inverse consistency. Existing systems simulate this either by maintaining arc consistency after each assignment performed by the user or by compiling offline the problem as a multi-valued decision diagram. In this paper, we define several questions related to global inverse consistency and analyse their complexity. Despite their theoretical intractability, we propose several algorithms for enforcing global inverse consistency and we show that the best version is efficient enough to be used in an interactive setting on several configuration and design problems. We finally extend our contribution to the inverse consistency of tuples

Master crossover functions for the one-component fluid "subclass"

Introducing three well-defined dimensionless numbers, we establish the link between the scale dilatation method able to estimate master (i.e. unique) singular behaviors of the one-component fluid "subclass" and the universal crossover functions recently estimated [Garrabos and Bervillier, Phys. Rev. E 74, 021113 (2006)] from the bounded results of the massive renormalization scheme applied to the..

Master crossover behavior of parachor correlations for one-component fluids

The master asymptotic behavior of the usual parachor correlations, expressing surface tension $\sigma$ as a power law of the density difference $\rho_{L}-\rho_{V}$ between coexisting liquid and vapor, is analyzed for a series of pure compounds close to their liquid-vapor critical point, using only four critical parameters $(\beta_{c})^{-1}$, $\alpha_{c}$, $Z_{c}$ and $Y_{c}$, for each fluid. ... The main consequences of these theoretical estimations are discussed in the light of engineering applications and process simulations where parachor correlations constitute one of the most practical method for estimating surface tension from density and capillary rise measurements

Collision statistics in a dilute granular gas fluidized by vibrations in low gravity

We report an experimental study of a dilute "gas" of inelastically colliding particles excited by vibrations in low gravity. We show that recording the collision frequency together with the impulses on a wall of the container gives access to several quantities of interest. We observe that the mean collision frequency does not scale linearly with the number N of particles in the container. This is due to the dissipative nature of the collisions and is also directly related to the non extensive behaviour of the kinetic energy (the granular temperature is not intensive).Comment: to be pubished in Europhysics Letters (May/June 2006

Effect of maternal obesity and preconceptional weight loss on male and female offspring metabolism and olfactory performance in mice

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. According to the “developmental origins of health and disease” (DOHaD) concept, maternal obesity predisposes the offspring to non-communicable diseases in adulthood. While a preconceptional weight loss (WL) is recommended for obese women, its benefits on the offspring have been poorly addressed. We evaluated whether preconceptional WL was able to reverse the adverse effects of maternal obesity in a mouse model, exhibiting a modification of foetal growth and of the expression of genes encoding epigenetic modifiers in liver and placenta. We tracked metabolic and olfactory behavioural trajectories of offspring born to control, obese or WL mothers. After weaning, the offspring were either put on a control diet (CD) or a high-fat (HFD). After only few weeks of HFD, the offspring developed obesity, metabolic alterations and olfactory impairments, independently of maternal context. However, male offspring born to obese mother gained even more weight under HFD than their counterparts born to lean mothers. Preconceptional WL normalized the offspring metabolic phenotypes but had unexpected effects on olfactory performance: a reduction in olfactory sensitivity, along with a lack of fasting-induced, olfactory-based motivation. Our results confirm the benefits of maternal preconceptional WL for male offspring metabolic health but highlight some possible adverse outcomes on olfactory-based behaviours

Automatic discovery and exploitation of promising subproblems for tabulation

The performance of a constraint model can often be improved by converting a subproblem into a single table constraint. In this paper we study heuristics for identifying promising subproblems. We propose a small set of heuristics to identify common cases such as expressions that will propagate weakly. The process of discovering promising subproblems and tabulating them is entirely automated in the tool Savile Row. A cache is implemented to avoid tabulating equivalent subproblems many times. We give a simple algorithm to generate table constraints directly from a constraint expression in Savile Row. We demonstrate good performance on the benchmark problems used in earlier work on tabulation, and also for several new problem classes